chain\_config() $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$Unit + Unit + Id + (${\it id}$:Id $\times$ $\mathbb{N}$)